No. 006 (2024.10.17)
(Markdown 記法ではないので注意 → 記法 を参照すること) 前回
参加者
mrkn
antimon2
(ここに参加した人が自分の名前 / ID を追記していく)
前回の状態
abstract_eval_basic_statement 関数 → abstract_eval_statement 関数 → abstract_eval_statement_expr 関数 → abstract_eval_call 関数と読み進めた
abstract_call_* 族の呼び出しまで到達した
メモ
メモ
抽象解釈は割と広い実行のフレームワークで型推論, 定数畳み込み etc 色々できる
次回
コードリーディングに戻る
abstract_call から?